"Map and Reduce" fully verified