Tryggande fonderadt på matematisk grond.