The Logic of Conceivability Project (The Reasoner, 2020)