additional checks for HW3