9.3.3 begin