Notes on inference, systems, and proofs.