[doctor_eval]

I don’t know for sure but I think the article or the comments said that ABS was still operative.

However, I’d add that the pilots would not have had time to fully appreciate the situation, probably didn’t know that all three systems had failed, hadn’t had time to run checklists, and so they might have been worried about the possibility that ABS had also failed. All the other stopping systems had failed after all.

Remember this happened as they touched down, which is a pretty high workload environment at the best of times.