Premise and Definition