That all is true, and furthermore the AVE train was running way above the 30 kmh limit set when the automatic control systems fails. The only way this accident could happen is if someone violated every existing procedure.