[amelius]

I think of mathematical = as similar to a let-binding: it's valid within a certain context.