minus z X z minus Y z Y minus s U s V minus U V minus W W z X N Y N U N V N W N minus N N N s N N z N FULL tmptmptmp.afsm