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

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