semantics HW