Yes, sorry, the example is not as simple as Einstein would have advised. Yours is simpler. The rule is that every variable in the head must share with the body, so that the head can be ground as the body is ground. I make it more clear in the rest of the comment above, at least I hope :)