“…The IEDDA reaction is a [4+2] cycloaddition that occurs between an electron-deficient diene such as a 1,2,4,5-tetrazine and an electron-rich dienophile such as a strained alkene 1 . Bioorthogonal IEDDA reactions, such as those first described by Fox and colleagues, can reach rates upwards of 10 6 M -1 s -1 , allowing complete reaction within minutes at sub-micromolar concentrations 1,9,[11][12][13][14] . Amino acid derivatives containing azide, cyclopropene, alkyne, trans-cyclooctene (TCO), and tetrazine functionalities have all been genetically encoded into proteins 15 , albeit not yet in a manner conducive to dual encoding and subsequent intracellular labeling in vivo.…”