Rip van winkle and the legend of sleepy hollow