1: \begin{definition} \label{def:sliceable}

2: For a semi-invariant $f$ of a quiver $Q$, we say $f$ is \itshape sliceable \normalfont if, after slicing repeatedly at $1$-sinks and $1$-arrows as described in Theorem \ref{thm:bquiv} (with possible simplifications, as in Lemma \ref{lem:simp}), we can reach the empty quiver (equivalently, a non-zero constant function).

3: \end{definition}

4: