public override IEnumerator Elements() { IEnumerator iter = new AllenDomainIterator(this); return iter; }