anchor.diff:  	true;
   
   postcondition(State, {call, _, delete_zone, _}, {ok, "204", _, _}) ->
  +	true;
  +
  +postcondition(State, {call, _, delete_aura, _}, {ok, "204", _, _}) ->
   	true;
   
   postcondition(S, C, R) ->
  
positive.code: %		{call, ?MODULE, update_zone_bad_user, [g_zone(), g_maybe_layer(), g_maybe_next(zone, S), oneof(['baduser', 'partier1', 'partier2']), S]},
  %		{call, ?MODULE, update_aura_bad_user, [g_zone(), g_maybe_layer(), g_maybe_next(aura, S), oneof(['baduser', 'wrong_partier']), S]},
  %
  %		{call, ?MODULE, delete_aura, [g_existant(S), oneof(['map_owner', 'aura_owner']), S]}
  		{call, ?MODULE, delete_zone, [g_existant(zone, S), S]}
  	]).
  
  g_next(zone, #state{zones = []}) ->
  
negative.code: 	Url = proplists:get_value(<<"url">>, Zone),
  	ibrowse:send_req(binary_to_list(Url), [owner_cookie(), ?accepts, ?contenttype], delete, []).
  
  delete_aura(Nth, Deleter, State) ->
  	#state{auras = Auras} = State,
  	Aura = lists:nth(Nth, Auras),
  	Url = proplists:get_value(<<"url">>, Aura),
  	Cookie = cookie(Deleter),
  	ibrowse:send_req(binary_to_list(Url), [Cookie, ?accepts, ?contenttype], delete, []).
  %% =======================================================
  %% postcondition
  %% =======================================================
  