Bygd på fällt säkra matematiska grunder.