Lab{1,2} are ready for checking