$! m1
N y z
  x z
  x (a k) u
  x (a r)
  x (a k) v

$! m2
N y z
  x z
  x (a k) u
  x (a r)
  x (a k) v