public AbstractTerm this[string yName] { get { int i = Int32.Parse(yName.Remove(0,1)); return GetPermanentRegister(i); } }