What mathematical guarantees? I don't see any mathematical results in the paper.