forms of metaphysical necessity