Classes related to finitely presented groups.