a is modified