Stödd på solida matematiska grander.