0 ||| a b c d ||| x=1 ||| 10
0 ||| a b d c ||| x=1 ||| 9
0 ||| a d b c ||| x=1 ||| 8 
0 ||| d a b c ||| x=1 ||| 7