“…Despite these efforts, it was not however until the proposal of Johnson-Laird (2012, 2014) that a complete Theory of Negation was presented. To develop this theory, the authors extended the findings formulated in the Mental Models Theory -MMT (Johnson-Laird, 1983, 2006, 2010a, 2010bJohnson Laird & Byrne, 1991;Johnson-Laird, Goodwin, & Khemlani, 2018;Johnson-Laird & Ragni, 2019). The latter was born in opposition to traditional theories like the Psychology of Proof -PSICOP (Rips, 1994(Rips, , 2011 or the Mental Logic Theory (Braine & O'Brien, 1998), which consider reasoning to be a set of innate logical rules (Elqayam & Over, 2016).…”