assert x<y if z>0