7.1. Propositioner 1