> Mathematics, especially, seems to have a strong tacit component.

It’s quantifiers, and bound and free variables.