Page "Kirwan convexity theorem" not found :(