feat(02_Propositions_and_Proofs.org): add rough draft of second chapter