Principle_of_contradiction loading ...