The inference from '∃x Human(x)' to 'humanity exists' is valid only given a prior substantive metaph...