; U ’ 0: