A: 'd' $left 2 | B $left 1;
B: A;