9.4.2 begin