Proving it works in edge cases is usually the hard part.