Exactly. The students should be the masters, not the theorem.