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