 Prima facie, this is a non-trivially true counterpossible. However, Williamson argues, other non-trivial consequences of the supposition would then be that \(5 + 5 = 11\), and \(5 + 4 = 10\), and … , and \(0 = 1\). Therefore, 