@janneke You might find this conjecture on monotonic logic to be funnyhttps://github.com/mthom/scryer-prolog/discussions/2525