Small proteins in cyanobacteria provide a paradigm for the functional analysis of the bacterial micro-proteome