@DavidKButlerUoA @Whitehughes I agree, but given that exams exist, my perspective is that producing a proof demonstrates fluency, which is what you want students to end up with. It's a high bar to clear, so in a large general service course it shouldn't make up too much of the available credit