Render binary disjunctions and equivalences.
Cleanup.
Ignore includes.