if p is true and q is false, the p —> q is (blank) true.
options: always, sometime, never