Formal chief justice