1: \begin{definition}\label{Poincaredef} \normalfont A deriving transformation $\mathsf{d}$ and an integral transformation $\mathsf{s}$ for the same coalgebra modality are said to satisfy the \textbf{Poincar\' e condition} if any map 

2: $f: C \otimes \oc A \otimes A \to B$ for which: $(1 \otimes  1 \otimes \sigma)(1 \otimes \mathsf{d} \otimes 1)f=(1 \otimes \mathsf{d} \otimes 1)f$, 

3: satisfies the First Fundamental Theorem -- that is: $(1 \otimes \mathsf{d}\mathsf{s})f=f$. 

4: \end{definition}

5: