2 proposition: 명제