I mean, clearly it should for correctness, but is there some known issue where it doesn’t?