Reference for Sukkah 41:80