Why no yellow for Simpson? Same foul as Coq's.