\{\{x\to a\},\{x\to a\},\{x\to b\},\{x\to b\}\}