\overline{\overline{a}} = a