Implemented semiDifference