Update A-7.3.1.c