The Albertson conjecture is vacuously true for formula 19. Manifolds that do not intersect are vacuously transverse. Outside of mathematics, statements which can be characterized informally as vacuously true can be misleading. The empty relation is the only relation that is (vacuously) both symmetric and asymmetric. Axiom (3) becomes vacuously true under (M3) and is therefore not needed in this context. Furthermore, if formula 5 is a sink, then (CK3) vacuously holds at formula 8. Many possible properties of sets are vacuously true for the empty set. This is because, the singleton {"x"} is vacuously normal and contains "x". Thus, vacuously, every model of formula 8 is a model of formula 3.