I'd that's what they're arguing, then I fully agree. My fear was that they're arguing that the formal definition is the only thing that you should spend time on

I'd that's what they're arguing, then I fully agree. My fear was that they're arguing that the formal definition is the only thing that you should spend time on, that the original motivation is irrelevant - this is what I was trying to argue against.