An existential non-necessary proposition may affirm that the predicate actually holds.The Seven Compound Modalities and the Negations of Permanence and Necessity