Amenability, proximality and higher-order syndeticity. (2nd May 2022)