Using an electronic voting system in logic lectures: one practitioner's application | Synapse