moving metric stored matter into kinetic matter and light matter
metric_space is hausdorff_space. white_matter is not solid_animal_matter. matter has mass back_matter is matter. white_matter is solid_animal_matter. solid is state_of_matter. metric_space is not hausdorff_space. grey_matter is solid_animal_matter.