Non-Aristotelian_logic loading ...