IF x THEN z AS