Add a bit of TH to simplify the universe construction