Right; my "false" applies to the entire statement (if p then q).