U * 2 ^t=!