Add tests for this fact.