Kimaya Bedarkar authored Jul 19, 2022 and Björn Brandenburg committed Jul 19, 2022

* GEL priority policy has been renamed from `GEL_priority` to `GEL` in keeping with the current convention
* Fixed one typo in the title
* Simplified one proof