Proof systems aren't as complicated as they sound.

See All 18 Episodes of "My FLoC Experience"