If the BCS formula were still used today...