Programs, Proofs, Processes door