Genesis 17:17–19 and 21:6 — Isaac / Yitzḥaq and Laughter