Edited incorrect formulation.