-`( HardFailReason() | SuccessReason(patch) ) & SuccessReason(index)`` =>
-`SuccessReason(patch) & SuccessReason(index)` =>
-SuccessReason(patch, index) => right
+`( HardFailReason() | SuccessReason(page) ) & SuccessReason(index)`` =>
+`SuccessReason(page & SuccessReason(index)` =>
+SuccessReason(page, index) => right