https://writing.chelseakomlo.com/a-note-on-various-forking-lemmas/