If they run with it for long enough it will all but become an architectural guarantee as people unintentionally write incorrect programs that happen to still work right.