13yo ds has a history of being bullied, and a relatively recent diagnosis of ASD. Yesterday he was targeted by 2 or 3 boys, who tormented him until he lashed out. Should the school sanction ds in any way?