internal FL(FAF formula, bool polarity) : base(formula, polarity) { faf = formula; }
public int CompareTo(FAF other) { return(ToStringN().CompareTo(other.ToStringN())); }