är stödd på solida matematiska gruader.