anchor.diff:              Tuple 
       end.
   
  -verify_and_add(#{user := User, uid := Uid, uidNumber := UidNumber,
  -                 gidNumber := GidNumber, homeDirectory := HomeDir}, {Mappings,
  -                                                                     Users} ) when
  -      is_binary(User), is_binary(Uid), is_integer(UidNumber),
  -      is_integer(GidNumber), is_binary(HomeDir) ->
  -    {Mappings, [{User, Uid, UidNumber, GidNumber, HomeDir} | Users]};
  -verify_and_add(#{iss := Iss, sub := Sub, user := User}, {Mappings, Users}) when
  -      is_binary(Iss), is_binary(Sub), is_binary(User) ->
  -    {[{{Iss, Sub}, User} | Mappings], Users};
  +verify_and_add(#{uid := Uid, uidNumber := UidNumber, gidNumber := GidNumber, homeDirectory := HomeDir}, 
  +               {Mappings, Users} ) when
  +      is_binary(Uid), is_integer(UidNumber),is_integer(GidNumber), is_binary(HomeDir) ->
  +    {Mappings, [{Uid, UidNumber, GidNumber, HomeDir} | Users]};
  +verify_and_add(#{iss := Iss, sub := Sub, uid := Uid}, {Mappings, Users}) when
  +      is_binary(Iss), is_binary(Sub), is_binary(Uid) ->
  +    {[{{Iss, Sub}, Uid} | Mappings], Users};
   verify_and_add(_Entry, Tuple) ->
       Tuple.
   
  
positive.code: parse_lines(eof,IoDev,{Map, User}) ->
      file:close(IoDev),
      {lists:reverse(Map), lists:reverse(User)};
  parse_lines({error,_},IoDev,_List) ->
      file:close(IoDev),
      [];
  parse_lines({ok,Line},IoDev,List) ->
      NewLine = file:read_line(IoDev),
      NewList = parse_line(Line,List),
      parse_lines(NewLine,IoDev,NewList).
  
  parse_line(Line,Tuple) ->
  
negative.code:     #{ mappings := Mappings, users := Users } = Config,
      case lists:keyfind({Iss, Sub},1,Mappings) of
          false -> {{error, no_mapping},State};
          {_, Uid} -> case lists:keyfind(Uid,1,Users) of
                           false -> {{error, user_not_found},State};
                           E -> Result = data_entry_to_result(E,Mappings),
                               {Result, State}
                       end
      end.
  
  data_entry_to_result({Uid, UidNumber, GidNumber, HomeDir},Mappings) ->
      Uids = [ID || {ID, U} <- Mappings, U == Uid ],
      {ok, #{
              uid => Uid, 
              user_ids => Uids,
              uidNumber => UidNumber, 
  