Posted on 2026-10-03 by Mark J. G. Smith There is a special case of previous where axiom A = not axiom B #