Add lab1's requirement