public override String ToString() { return " ( " + first.ToString() + " " + op + " " + second.ToString() + " )"; }