theorem :: COUNTERS:43

<%0%> = id 1