Which captures “not necessarily” correctly?

The Seven Compound Modalities and the Negations of Permanence and Necessity

• The relation is not necessary, but may obtain
• Negating the predicate is necessary
• The proposition can never be true
• Subject and predicate are identical