Count(q) versus the pigeon-hole principle - Riis, Søren (Inst. for Logic, Language and Computation, Univ., 1996)