$! 1 1
D x x
C y

$! 1 2
D x x
C y x

$! 1 3
D x x
C y (x z)

$! 1 4
D x x
C x y
  y x
  y y

$! 1 5
D x y
C x x
  y x
  y y

$! 1 6
D x x
C y x
  y (x a)

$? 1 6
D x x
C y x
  x z
  y (x x)


$? 1 7
D x x
C y x
  y (x x)