 The two parameters jointly yield a variety of types of modalized propositions, a canonical list of which becomes standard in the thirteenth century. Below are some notable items that can be found in various forms in Avicenna’s works and which crystallized starting with Rāzī (Street 2013; cf. Strobino &amp; Thom  2016).[4]  The deeper syntax of these propositions is a subject of dispute (Hodges 2015). 