(define (mystery boring thing whatever)
  (thing whatever boring boring))

(mystery 5 + 3)