After sainz was passed they should've boxed him immediately after that...Ferrari caught napping and boxed him a lap later, when the gap was over 3.5...