Suppose you are proving $p \leftrightarrow q$. In your first paragraph you prove $p \rightarrow q$. Your second paragraph begins, “For the converse, assume $q$ holds.”
In this situation, we have a very precise way of referring to the statement $q \rightarrow p$: “the converse.” But we have no good way to refer to $p\rightarrow q$. Sometimes we say “the forward implication,” but I am not a big fan of this phrase and am wondering if there is a single latinate word which means the same thing. (Obverse? Inverse? Contrapositive? No, none of those mean “$p \rightarrow q$.”)
Granted, the word “converse” only works in context, since you are implicitly saying “the converse to $p \rightarrow q$,” and that context can only be inferred if you are using the word “converse” right after you have proven “$p \rightarrow q$.” But, anyway, I am simply asking if there is a better way to say “the forward implication.”