[1-10] extending FPL
[1-10] powerset exponentials make me nervous
[1-10] propositional logic, exponents still feel weird
[1-10] playing with spacing