är stödd på solida matematiska grimder.