After introducing debates:

1. Form teams of three given Zhengxing's list.
   (the first time we select one student from each team calling out his/her name)

FOR INTRA-TEAM DEBATES
2. Make a simple claim, e.g., CounterfeitBall(13,3).
3. Student take sides, each student has a blank sheet of paper. Format:
   Student name: 
   Claim: 
   Side chosen: Verifier/Falsifier
   Forms are collected and brought to the front in a folder.
4. In parallel, for each team: Intra-team debates start
   Student 1 against student 2 with student 3 as admin.
   Student 1 against student 3 with student 2 as admin. 
   Student 2 against student 3 with student 1 as admin.
   Devil's advocates are selected by a coin flip if two students have taken same side.
   10 minutes per debate.
5. Display an interesting debate to entire class.
FOR INTER-TEAM DEBATES
6. Make another simple, related claim, e.g., MinCounterfeitBall(14,4).
7. Teams take side and report the team-sides to the teaching staff.
   Format:
   Team number
   Student names
   Side chosen by team: Verifier/Falsifier
8. Team 1 against Team 2 with Team 3 as admin.
   Team 1 against Team 3 with Team 2 as admin.
   Team 2 against Team 3 with Team 1 as admin.
   In parallel the other teams.
   12 minutes per debate.

IMPORTANT: For in class debates you don't have to give a complete description
of your objects in JSON notation, but you can use any suitable notation
to describe your decision tree (a picture, a pseudo algorithm how to
generate it etc.)