Are you guys even sure the construction of your formula is correct?