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