( $Ctt \ U \K