2024. Formalising Entailments . The Reasoner. 9, 10 (Jul. 2024).