Learning how to sharpen a knife