Users

Check-GlobalPhase is not used by other distributions.