Negation understood, corrected. a0 is represented as (z - a0).