Superposition rewrited.