anchor.diff:                      [{rank_latest, Rank_latest},
                        {rank_newprop, Rank_newprop},
                        {latest_author, P_latest#projection_v1.author_server}]}),
  -            put(b10_hack, false),
   
               %% TODO: Is a UnanimousLatestInnerNotRelevant_p test needed in this clause???
   
  
positive.code:     ?RETURN2(simple_chain_state_transition_is_sane(undefined, UPI1, Repair1,
                                                     undefined, UPI2)).
  
  simple_chain_state_transition_is_sane(_Author1, UPI1, Repair1, Author2, UPI2) ->
      {KeepsDels, Orders} = mk(UPI1, Repair1, UPI2),
      NumKeeps = length([x || keep <- KeepsDels]),
      NumOrders = length(Orders),
      Answer1 = false == lists:member(error, Orders)
                andalso Orders == lists:sort(Orders)
                andalso length(UPI2) == NumKeeps + NumOrders,
      catch (put(react, [{sane,author1,_Author1, upi1,UPI1, repair1,Repair1,
                          author2,Author2, upi2,UPI2,
                          keepsdels,KeepsDels, orders,Orders, numKeeps,NumKeeps,
                          numOrders,NumOrders, answer1,Answer1}|get(react)])),
      if not Answer1 ->
              ?RETURN2(Answer1);
         true ->
  
negative.code: projection_transition_is_sane(P1, P2, RelativeToServer) ->
      projection_transition_is_sane(P1, P2, RelativeToServer, false).
  
  %% @doc Check if a projection transition is sane &amp; safe.
  %%
  %% NOTE: The return value convention is `true' for sane/safe and
  %% `term() /= true' for any unsafe/insane value.
  
  projection_transition_is_sane(P1, P2, RelativeToServer, RetrospectiveP) ->
      put(why2, []),
      case projection_transition_is_sane_with_si_epoch(
  