" Before beginning, we introduce some notation (but not too much, because ambiguities are useful for hiding factors of √2 [8] that we haven't checked yet). A ∧ is used to indicate a wedge product of differential forms [9] (for example, dxμ∧dxν $μν is a W2-form). Unless explicitly otherwise, we use index-free notation (i.e., we just leave all the indices off our equations). As a result, the Einstein summation convention is unnecessary (especially since nobody knows how to sum Einsteins anyway). Contravariant vectors are then distinguished from sandanistavariant vectors by context. ``-1'' is …