Tryggande fonderadt på matematisk grand.