A surjection problem leading to the Ax-Grothendieck theorem. Issue 4 (12th March 2019)