HW5 verification