It is, therefore, clearly not the case that every proposition of the form entails entails the corresponding proposition of the form entails since we have found one particular proposition of the first form which does not entail the corresponding proposition of the second.