adding transformations
removed local universe checking because its slow
added elaboration