Proofs and Fundamentals: A First Course in Abstract