Mathematical justification

It turns out ...