necessary existence