values_match now returns [{K,V}...] instead of [V,...]