public override string ToString() { return string.Format("{0}({1})", GetType().Name, Unknowns.ToCommaPrefixedList()); }