with a step of recessing the gate electrode