LevelCoordinate invar