är stödd på solida matematiska gränder.