Shaʻar ha-mayim : ḥibur ʻal Yoreh deʻah be-hilkhot ṭerefot : ...shiṭah ʻal masekhet Ḥulin...