9.3.4 begin