Ms Eilísh Hardiman:

Whatever the policy. There are different HR policies for grievance, disciplinary and performance management. Whatever was the appropriate policy, was actually implemented.