public String toString() {return subSlice.toString()+":"+terms;}

public String toString ( ) { return subSlice . toString ( ) + ":" + terms ; }
public override string ToString(){return SubSlice.ToString() + ":" + Terms;}
