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