nash rewrite 1