De är stödd på solida matematiskagrunder