assert( mymap(key1,value1) ).
assert( mymap(key2,value1) ).