Principle_of_Contradiction loading ...