Basically I don't think that code should be considered correct until there's a strong line of reasoning proving the order is stable end to end