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