1.3.3. Proof of quantified statements Notes | Discrete Structure BIT | FWU | TABFlux