Introduction to proofs - Justifying statements