x is not z