It seems like the details of what p and q <em>are </em>in this context aren't all that important; it's the logical structure of the statement "p⇒q" we need to look at. We read that logical statement as "p implies q," where p is our <em>hypothesis</em> and q is our <em>conclusion</em>. When we take the converse of a logical statement, we reverse the hypothesis and the conclusion. In this case, <em>p </em>wouldn't imply <em>q</em>, but <em>q </em>would imply <em>p</em> in the converse of p⇒q. We'd write this statement as:
