 Carter, Jarvis and Rubin (2015) propose a taxonomy of varieties of cognitive achievement based on the relative weights given to achieving success versus avoiding failure; for example, having a suspicion that p is a cognitive attempt that puts more weight on achieving success, whereas Cartesian certainty that p is a cognitive attempt to puts almost exclusive weight on avoiding failure.