Here at Stan, we always aim for stan-out-of-ten execution. In this case, we should have settled for 9.