Bygd på fullt säkra matematiska grander.