Batching Formulas