What should we gain by a definition, as it can only lead us to other undefined terms?