Continuations, proofs and tests