Z3: start a1 and copy a2a