A.4 seems to work