theorem :: COUNTERS:45
<%0,1,2%> = id 3