public override string ToString() { return text; } public override Formula toFormula() { return new Formula.Identifier(this); }