This reverts commit bb57673f8a01e77e42c38bbf5bab60fba8c63098. Actually, the symmetry with `is_repetition_2` is worth the slight extra verbosity.
This reverts commit bb57673f8a01e77e42c38bbf5bab60fba8c63098. Actually, the symmetry with `is_repetition_2` is worth the slight extra verbosity.