corrected right-uniqueness (soundness)