(define (entry-point)
    (let* ((r (cheap-pre-check 'foo 'bar))
           (r2 (and r (expensive-calculation 'baz 'moo))))
      (list (and r r2 #t) (and r2 'foobar))))