. . "If p implies q is a true statement and q is true, then q is true." . .