[mon_]

As a recent graduate I'll miss asking for "help with my Coq" and proclaiming "my Coq isn't working" during lab sessions

[agumonkey]

So that's why I never hear any students complaining about how hard it is