(define (mystery boring thing whatever) (thing whatever boring boring)) (mystery 5 + 3)