The name of Hagar's son can be stated explicitly. Alternate translation: "Ishmael, the son of Hagar the Egyptian and Abraham" (See: [[rc://en/ta/man/translate/figs-explicit]])
It can be stated explicitly that he was jeering or laughing at Isaac. Alternate translation: "laughing at Isaac" (See: [[rc://en/ta/man/translate/figs-explicit]])