Theoretically functional UCT.