p is undefined (OK)
q is undefined (OK)
r is true (OK)
