Official version used in paper