Resolution of Contradictions by IKRA