added the indxed universe and the def of 2-3 trees