Changes on OR-Proof