We require, first of all, some term to express the converse of that relation which we assert to hold between a particular proposition and a particular proposition when we assert that follows from or is deducible from.