In the recent fall term I completed an intro to Logic. In the next school year the prof is offering the intro again in the fall and then 'Logic 2' in the winter.
I plan on auditing it the fall as much as possible, and tutoring the next batch.

I know how to make derivations into a competition, you give two people a certain amount of time to derive something with the least amount of lines possible. No wasted moves.
However derivations won't be taught until the midway point, so how do you guys suggest making tables, translations and trees competitive?
In my class the prof only barely started modal trees and the exam only had one such question.