är stödd på solida matematiska grander.