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