Well its understood. Maybe your definition of explicitness is only met by things written like Principia Mathematica.

If it's understood then it's pointless. I also reject that it's understood.

I have no idea why you're talking about Prinicipia Mathematica as if I'm advocating for some sort of formal verification or extraordinary rigor as opposed to my suggestion that people just use their words and have reasons behind their decisions.