(mod-expt signature 3 modulus)
This is equivalent to:
(together-copies-of mod* 3 signature)
So mod-expt can be defined as:
(define mod-expt
(lambda (base exponent modulus)
(together-copies-of mod* exponent base)))
This requires that mod* be defined globally (at top level).