The computational metaphysics approach continues to illuminate axiomatic metaphysics.