Added lab3 specs