[update] formal table