[DominikPeters]

This is o1 so it need not be post hoc but the result of reasoning about several possible choices and explanations.