New post: Curry-Howard the Ontological Ultimate