I came to write THAT paper with Leslie Lamport

Leslie Lamport, known for his work in distributed systems and LaTeX, submitted a paper titled "Types Considered Harmful" arguing that specification languages should use untyped set theory rather than typed formalisms. After the paper was initially rejected by two referees for lacking technical rigor and relying on strawman arguments, the editor Andrew Appel asked the referee (the author) to collaborate with Lamport to revise it into a technically sound paper that maintained its original spirit, which led to their joint authorship.