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