We have the formula backward.