\newcommand{\Z}{\mathbb Z}
\newcommand{\Q}{\mathbb Q}
\newcommand{\C}{\mathbb C}
\newcommand{\N}{\mathbb N}
\newcommand{\F}{\mathbb F}
\newcommand{\T}{\mathbb T}
\newcommand{\calB}{\mathcal B}
\newcommand{\calL}{\mathcal L}
\newcommand{\calA}{\mathcal A}
\newcommand{\eps}{\varepsilon}
\newcommand{\zetaN}{\zeta_n}
\newcommand{\supp}{\operatorname{supp}}
\newcommand{\Aut}{\operatorname{Aut}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\Gal}{\operatorname{Gal}}
\newcommand{\UAG}{\operatorname{UAG}}
\newcommand{\Span}{\operatorname{span}_{\Z}}
\newcommand{\ord}{\operatorname{ord}}
\newcommand{\Orb}[1]{\mathcal O_{#1}}
\newcommand{\units}[1]{U_{#1}}
\newcommand{\angles}[1]{\langle #1\rangle}
\newcommand{\defeq}{\mathrel{:=}}
\newcommand{\xto}[1]{\xrightarrow{#1}}
\newcommand{\Cyc}[1]{C_{#1}}
\newcommand{\Adeg}[2]{A_{#1}(#2)}
\newcommand{\depth}{\delta}

\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{claim}[theorem]{Claim}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{example}[theorem]{Example}

\newenvironment{proofboundary}
  {\begin{quote}\small\textbf{Scope boundary.} }
  {\end{quote}}

\newcolumntype{Y}{>{\raggedright\arraybackslash}X}
\newcolumntype{C}{>{\centering\arraybackslash}p{1.6cm}}