1: \begin{definition}[$\tc$-cone]

2: \label{def:ccone}

3: Assume \Bzero--\Btwo\ and \Athreew, % and take $\gamma^\pm_c$ as in (\ref{Jacobian bound}).

4: and let $\tu:\cl \U_\ty \longmapsto \R$ be the $\tilde c$-convex function with

5: convex level sets from Theorem~\ref{thm:apparently convex}.

6: Let $Z$ denote the section $\{ \tilde u \le 0\}$, fix $\tilde q

7: \in \intr Z$, and assume $\tu = 0$ on $\p Z$. The \emph{$\tc$-cone

8: $h^\tc: \U_\ty \longmapsto \R$ generated by $\tq$ and $Z$ with

9: height $-\tu(\tq)>0$} is given by

10: \begin{align}\label{c-cone}

11: h^\tc(q)  :=\sup_{y \in \cl \V}

12: \{ -\tc(q, y) + \tc(\tq, y) + \tu(\tq) \mid

13:    -\tc(q, y) + \tc(\tilde q, y) +\tu(\tq)\le 0 \text{ on } \p Z \}.

14: %h^c (q)  :=\sup_{(z, y)} \{ \ \bar m_z (q) \mid

15: %z \in \p Z, \ \ y \in \p^c \tu (z) \}.

16: \end{align}

17: \end{definition}

18: