FourBooleans

RulesWithLotsOfBecauses

Frame

example

f

NormalFrame SpareFrame StrikeFrame

first

Frame

folding

example SimpleFolding

from

Cheque Cheque Cheque