(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).