1: \begin{definition}\label{definition286}The positive semigroup $\left(G_K(t)\right)_{t\geq0}$, generated by the extension $K$ of $A+B$ from Theorem~\ref{theorem288}, is \emph{honest} if the functional linear $c$, given by \eqref{equation2872}, extends to $D(K)$, and for all $u_{0}\in D(K)_+$, the nonnegative solution $u(t)=G_K(t)u_{0}$ to

2: \[\frac{\ddn}{\ddn t}u(t)=Ku(t),\hspace{3mm}t>0;\hspace{3mm}u(0)=u_0,\]

3:  satisfies

4: \vspace{3mm}

5: \[\frac{\ddn}{\ddn t} \left\|u(t)\right\|

6: =\frac{\ddn}{\ddn t}\int_{\Omega}u(t)\dd \mu=-c(u(t)),\]

7: \end{definition}

8: