if something is a whole of something else then that something else contains that something
matter is not anything. thing is not substance. separated_thing is not divided_thing. goods is not tangible_thing. whole is object. matter is anything. matter is not tangible_thing. etcher is not tangible_thing. thing is substance. everything is not one_thing.