Comment by r-zip

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