Listen

Description

Proof systems aren't as complicated as they sound.