idef (x): return x+ZZ