anchor.diff:              ?match({ok, FileCheck}, lfm_proxy:read(W, Handle, 0, Size), Attempts)
           end),
   
  -        VerAns = VerifyLocation(),
  -        Flattened = lists:flatten(VerAns),
  -        ct:print("Locations1 ~p", [{Offset, File, VerAns}]),
  -
  -        ZerosList = lists:filter(fun(S) -> S == 0 end, Flattened),
  -        LocationsList = lists:filter(fun(S) -> S == 1 end, Flattened),
  -
  -        ?assertEqual((SyncNodes+ProxyNodes)*(SyncNodes+ProxyNodes) - SyncNodes*SyncNodes - ProxyNodesWritten, length(ZerosList)),
  -        ?assertEqual(SyncNodes*SyncNodes + ProxyNodesWritten, length(LocationsList))
  +        AssertLocations = fun() ->
  +            VerAns = VerifyLocation(),
  +            Flattened = lists:flatten(VerAns),
  +            ct:print("Locations1 ~p", [{Offset, File, VerAns}]),
  +
  +            ZerosList = lists:filter(fun(S) -> S == 0 end, Flattened),
  +            LocationsList = lists:filter(fun(S) -> S == 1 end, Flattened),
  +            {length(ZerosList), length(LocationsList)}
  +        end,
  +        ToMatch = {(SyncNodes+ProxyNodes)*(SyncNodes+ProxyNodes) - SyncNodes*SyncNodes - ProxyNodesWritten,
  +            SyncNodes*SyncNodes + ProxyNodesWritten},
  +        ?match(ToMatch, AssertLocations(), Attempts)
       end,
       VerifyFile({2, Level2File}),
   
  
positive.code:     maps:fold(fun(_, V, Acc) ->
          case V of
              {ID, file_location} ->
                  ?assertMatch({ok, _}, rpc:call(W, file_location, get, [ID])),
                  Acc + 1;
              _ ->
                  Acc
          end
  
negative.code:         {ok, Handle} = OpenAns,
          WriteBuf = atom_to_binary(W, utf8),
          Offset = size(Acc),
          WriteSize = size(WriteBuf),
          ?assertMatch({ok, WriteSize}, lfm_proxy:write(W, Handle, Offset, WriteBuf)),
          NewAcc = <<Acc/binary, WriteBuf/binary>>,
  
          Verify(fun(W2) ->
  