More requirements for lab 1.