Unfenced existence: the logic and metaphysics of necessary beings