public override int GetHashCode() { int result = 17; result = 37 * result + negated.GetHashCode(); return result; }