If it is true that...

Words with precise meanings are used in math

Then it must be true that...

Starting from utility won't completely solve the problem of metaphysical singularity