* K : T$P}