Taught proofs too, and plenty of students fake intuition with pattern matching.