add lab3 specs