Proposition and Hypotheses