 Using intuitionistically acceptable means only, the pair of theses AT and AT′ is equivalent in deductive power with another pair of schemata, which in established terminology are called (Strong) Boethius’ Theses (cf. Routley 1978) and which may be viewed, in addition with their converses, as capturing Chrysippus’ idea: