p. p is false (OK)
p. q is true (OK)
q. p is false (OK)
q. q is true (OK)
