Formalising Entailments . tr 2024, 9 (10).