Den säfsen till axiomen hör: