(define multiply *)