Wait so what *is* choreographic programming? Is there a foundational paper I should read? ChatGPT's description makes it sound suspiciously close to, say, the digital logic programming model of "everything is happening everywhere at once"... and that has piqued my interest.