How to sharpen a convex edge with sandpaper