Agmon's_inequality loading ...