public static bool _eval(DoubleImplication _iff) { return _iff.p && _iff.p.Converse; }
public static bool _eval(DoubleImplication _iff) { return(_iff.p && _iff.p.Converse); }