તે તેને CREAC કહે છે , જે નિષ્કર્ષ-નિયમ-વિસ્તરણ-એપ્લિકેશન (હકીકતોનો નિયમનો નિયમ) છે - સમાધાન (પુન: પ્રાપ્તિ).