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