Implemented TestDistributivity