Remember, some exercises (such as l_fails, p_provability) won't be noticed by the check button, but will still be graded.