ParentFull threadchalst·This can be modelled formally: just drop the ex falso quodlibet axiom and its equivalents.View on HN