Give the defenses.
Try using a couple different rulesets.

The double negation of excluded middle (for an atom) shows that the
no-repetition rule is not complete.  Proponent has to be allowed to make
at least one repetition.