Signature of Pareto optimization in the Escherichia coli proteome | Synapse