anchor.diff:      catch
           throw:{zerf,_}=_Throw ->
               Proj = S#ch_mgr.proj,
  -io:format(user, "\n\nzerf ~p throw ~p\n", [S#ch_mgr.name, _Throw]),
  +%%io:format(user, "\n\nzerf ~p throw ~p\n", [S#ch_mgr.name, _Throw]),
               {{no_change, [], Proj#projection_v1.epoch_number}, S}
       end.
   
  
positive.code:     ?REACT({a50, ?LINE, [{latest_epoch, P_latest#projection_v1.epoch_number},
                           {final_props, FinalProps}]}),
  %% io:format(user, "A50: ~p: ~W\n", [S#ch_mgr.name, get(react), 60]),
  if S#ch_mgr.name == a -> io:format(user, "A50: ~p: ~P\n", [S#ch_mgr.name, get(react), 60]); true -> ok end,
      {{no_change, FinalProps, P_latest#projection_v1.epoch_number}, S}.
  
  react_to_env_B10(Retries, P_newprop, P_latest, LatestUnanimousP,
  
negative.code:                                     end,
                               Rel2;
                           {error, not_written} ->
  %%io:format(user, "fold ~p ~p not_written\n", [E, FLU]),
                               Rel
                       end
               end, Relation, [{E, FLU} || E <- NowEpochs, FLU <- Up]),
      SortedRel = lists:reverse(lists:sort(Rel2)),
  %%io:format(user, "zerf_find_last_common rel ~p\n", [SortedRel]),
      case [T || T={{E, OorI, Proj}, WrittenFLUs} <- SortedRel,
                 lists:sort(Proj#projection_v1.upi) == lists:sort(WrittenFLUs)
                 andalso
  