Efficient in vivo synthesis of lasso peptide pseudomycoidin proceeds in the absence of both the leader and the leader peptidase† †Electronic supplementary information (ESI) available: Supplementary Fig. S1–S14 and experimental procedures. See DOI: 10.1039/c9sc02370d