public override System.String ToString() { if (this == MUST) return "+"; if (this == MUST_NOT) return "-"; return ""; }