7.2.3 begin