TeX source:
p_k > 0