är stödd påsolida matematiska grunder.