p:q ZZ ' -^