initial push[15.1.A.1.9]