Philosophy:Definitional implication