inferable definition
inferable in IVSS means that correct pairs could infer faulty pairs during the execution. If k receives CoreInvoationsl from process l, then it checks for each invocation I in CoreInvoationsl that every correct process in M of I should A-Cast its polynomial in the beginning of the reconstruction phase, and no pair of correct processes should be considered as a faulty pair according to these invocations. If k has checked that an unordered pair {i, j} is not a faulty pair according to the invocation history of l before round r, then k will A-Cast “checkedr : k, l, {i, j}”. In the sharing protocol, a correct process accepts a candidate set M only if every pair of processes in M are checked by every process in M.