anchor.diff:                                     ERROR
                              end
                      end},
  -         #{desc => "announce ready (closed)",
  +         #{desc => "announce ready (close)",
              cmd  => fun(#{tester := Tester}) ->
  -                           Tester ! {ready, self()},
  +                           ev_ready(Tester, close),
                              ok
                      end},
   
            % Termination
            #{desc => "await terminate",
              cmd  => fun(#{tester := Tester} = State) ->
  -                           receive
  -                               {'DOWN', _, process, Tester, Reason} ->
  -                                   ee("Unexpected DOWN regarding tester ~p: "
  -                                      "~n   ~p", [Tester, Reason]),
  -                                   {error, {unexpected_exit, tester}};
  -                               {terminate, Tester} ->
  -                                   {ok, maps:remove(tester, State)}
  -                           end
  -                   end},
  +                           case ev_await_terminate(Tester, tester) of
  +                               ok ->
  +                                   {ok, maps:remove(tester, State)};
  +                               {error, _} = ERROR ->
  +                                   ERROR
  +                           end
  +                    end},
   
            %% *** We are done ***
            #{desc => "finish",
  
positive.code:          %% *** Wait for start order part ***
           #{desc => "await start (from tester)",
             cmd  => fun(State) ->
                             receive
                                 {start, Tester} when is_pid(Tester) ->
                                     {ok, State#{tester => Tester}}
                             end
                     end},
           #{desc => "monitor tester",
             cmd  => fun(#{tester := Tester} = _State) ->
  
negative.code:                            ?SLEEP(?SECS(1)),
                             ok
                     end},
           #{desc => "order 'secondary acceptor 3' to continue (accept)",
             cmd  => fun(#{sec_acc3 := Pid} = _State) ->
                             ev_continue(Pid, accept),
                             ok
                     end},
           #{desc => "sleep",
  