lab1 specification clarified