Implemented new factor. ImplicationFactor