Proof systems aren't as complicated as they sound.