Added specs to package lab6.