Use counters properly and cref for solutions