comments
Subsume FalseP & TrueP in LitP
renamings
tweak ignore