[clintonc]

p and t are implicitly defined cardinalities (i.e., the smallest cardinalities with given properties). See Definition 1.1 of the source article (https://arxiv.org/pdf/1208.5424.pdf)