Example done: sharpness paper