Credits are in the author's note.