This builds on some parts of Daniel Schepler's "Topology" and "Zorn's Lemma" packages -- to prove basic properties of Boolean Algebras, and things like Subalgebras, the Regular Open Algebra, some general tactics, fields of sets, etc. Compiling this will make your computer happy! If it's in the good!