Fine-tuned the set-operation module