är stödd på solida matematisk » grunder.