Darning a hole in a wool sweater