Simple project that uses the map-reduce framework to verify the right cancellation law.