@peterrowlett this week I proved that all finitely generated groups are computable on the third level of the Grzegorczyk hierarchy