(define (entry-point) (cond ((and (cheap-pre-check 'foo 'bar) (expensive-calculation 'baz 'moo)) => (lambda (result) (list #t result))) (else (list #f 'foobar))))