Elementary_amenable loading ...