https://9dok.net/document/y962ev1l-categorical-hypothetical-critique-fundamental-assumptions-standard-semantics.html