Were Arsenal right to let Luiz carry on after his clash of heads with Jimenez?