är stödd på solida matematiska grander,