 There are two main options available to those who are critical of classical, first-order logic, as the One True Logic. One is to propose some other logic as the One True Logic. Priest [2006a] describes the methodology one might use to settle in the One True Logic.