Highly efficient bioproduction from gaseous substrates (e.g., hydrogen and carbon oxides) will require systematic optimization of the host microbes. To date, the rational redesign of gas-fermenting bacteria is still in its infancy, due in part to the lack of quantitative and precise metabolic knowledge that can direct strain engineering.