“…when BUNDLE(m, sn, j, sigs) is received do (3) if (−, sn, j) not already mbrb-delivered ∧ sigs contains the valid signature for (m, sn, j) by pj then (4) save all unsaved valid signatures for (m, sn, j) of sigs; (5) if (−, sn, j) not already signed by pi then (6) save signature for (m, sn, j) by pi; (7) broadcast BUNDLE(m, sn, j, {all saved signatures for (m, sn, j)}) (8) end if; (9) if strictly more than n+t 2 signatures for (m, sn, j) are saved then (10) broadcast BUNDLE(m, sn, j, {all saved signatures for (m, sn, j)}); (11) mbrb_deliver(m, sn, j) (12) end if (13) end if.…”