finish global section existence section