 and refers to a logic as connexive if in addition it validates AT and AT′ for → and ¬. The Weak Boethius’ Thesis BTw was introduced in Pizzi 1977 as “conditional Boethius’ thesis” for the connexive implication seen as standing for a counterfactual conditional.