Law_of_non-contradiction loading ...