theorem :: COUNTERS:45

<%0,1,2%> = id 3