public Conjunction(params WFF[] c)
{
List <WFF> con = new List <WFF>();
foreach (WFF a in c)
{
if (a is Conjunction)
{
Conjunction b = (Conjunction)a;
con.AddRange(b.conjuncts);
}
else
{
con.Add(a);
}
}
conjuncts = con.ToArray();
}