metaphysics provides semantics to bind science and math