symbols are translated only when sets are same
symbols are translated only when sets are same