Added verification to lab4