Using an electronic voting system in logic lectures: one practitioner's application · Study