 A case of interpenetration occurs when non-overlapping entities have overlapping exact locations—e.g., when a ghost passes through a wall. In such a case, the right-to-left direction of H7 fails. Similar cases involve violations of the right-to-left directions of H5 and H6. An extended simple is a simple entity with a complex exact location: it violates the left-to-right direction of H1, the right-to-left direction of the (equivalent) H2, and the left-to-right direction of the instance of H3 that results from letting n = 1. A case of multilocation occurs when a given entity has more than one exact location. This violates Functionality, which is left implicit in Saucedo's statement of Mereological Harmony.