Rewrite of UCT.