Babylonian Talmud, Tractate Yevamot

תנו רבנן הבא על אחותו והיא בת אשת אביו חייב משום אחותו ומשום בת אשת אביו רבי יוסי בן יהודה אומר אינו חייב אלא משום אחותו בלבד ולא מפני בת אשת אביומאי טעמייהו דרבנן אמרי מכדי כתיב ערות אחותך בת אביך או בת אמך ערות בת אשת אביך מולדת אביך אחותך היא למה לי ש"מ לחייבו משום אחותו ומשום בת אשת אביוורבי יוסי בר' יהודה אמר קרא אחותך היא משום אחותו אתה מחייבו ואי אתה מחייבו משום בת אשת אביו ורבנן האי אחותך היא מאי עבדי ליה מיבעי להו לחייבו על אחותו בת אביו ובת אמו לומר שאין מזהירין מן הדין ורבי יוסי בר' יהודה אם כן לכתוב רחמנא אחותך היא למה לי משום אחותך אתה מחייבו ואי אתה מחייבו משום בת אשת אביו ורבנן אף על גב דכתיב אחותך איצטריך למכתב היא שלא תאמר בעלמא מזהירין מן הדיןוכ"ת אחותך דכתב רחמנא למה לי מילתא דאתיא בק"ו טרח וכתב לה קרא כתב רחמנא היא