The essence of logic is in the definition of the terms