Reactant calculation and product formation