FourBooleans
RulesWithLotsOfBecauses
Frame
example
f
NormalFrame
SpareFrame
StrikeFrame
first
Frame
folding
example
from
Cheque
Cheque
Cheque