Renamed ForAll to Forall, and fixed a couple formatting quirks.