public void Reference() { AbstractTerm term1 = new AbstractTerm(); AbstractTerm term2 = new AbstractTerm(); term1.Bind(term2); Assert.AreSame(term2, term1.Reference()); }