Law_of_contradiction loading ...