Added lab4 specs