är ställ på solida matematiska grunder.