är stödt på solida matematiska grander.