Use the magic identity rather than construct one.
Simplify T and F applications aggressively.