PassFail
A theorem at Harvey Mudd College that states an A is isomorphic to a C.