Variations on a theme by Higman

We propose elementary and explicit presentations of groups that have no amenable quotients and yet are SQ-universal. Examples include groups with a finite K(π,1), no Kazhdan subgroups and no Haagerup quotients.