A4(2) fulfilled