Added normal form of begin
Added normal form of begin