A general method for insertion of functional proteins within proteins via combinatorial selection of permissive junctions