Definition: Proposition