 The Immanent Reasoning framework imports Martin-Löf’s 1984 Constructive Type Theory (CTT) form of a judgement in order to make these reasons explicit. Fully developed, statements thus have the following form: