4.2. Deductive Knowledge