I wouldn't have had a clue how to write a loop tail g, but looking at the 4 options in turn, only the correct one didn't make me feel a bit uneasy.
In the ensuing couple of minutes I have again completely forgotten how to write it!
(, Tue 11 Apr 2023, 18:44, Reply)