(c) formula_172.