revised lab3 spec is passing