begin global section existence section