Count(q) does not imply Count(p (1994)

by RS-94-21 Søren Riis