https://123dok.net/document/ky6g9o4q-pointwise-circumscription-is-equivalent-to-predicate-completion-sometimes.html