P\in t_k