My highlights: https://archive.org/download/elopio-papers/2023-the_unreasonable_sufficiency_of_protocols_annotated.pdf
