Stödd på fullt solida matematiska grunder.