commit(formula, material, others)