A strengthening of Halin's grid theorem. Issue 4 (15th July 2022)