¹⁶⁴coincidens A   coincides S
¹⁶⁵ita A   om. S
¹⁶⁶coincidet A   coincidit S
¹⁶⁷demonstrandum A   demonstrandem S