Must be a2 as a1 is already released