change Data/Theory in Theory/Data (2nd version)