Thanks for the response, I actually came to the same realisation after re-reading the definition of Universal Generalisation Elimination (quite a mouthful hey). In particular, they say you can substitute the variables with anything whatsoever. It was too late though cause I had submited the assignment.