S. Riis, “Count(q) does not imply Count(p)”, BRICS, vol. 1, no. 21, Jul. 1994.