What is proof? (Part 1) | Intro to Math Structures VS1.3