 Philosophers have put forward of variety of axiom systems that are meant to capture the interaction between parthood and location. One especially bold idea is that the mereological properties of, and relations between, located entities perfectly match those of their locations. This has been dubbed Mereological Harmony (Schaffer 2009).