let crit_base s lvl gnum padd = (s.group = gnum) && ((student_resp s padd) == Zero)