1: \begin{definition}\label{FT2DEF} \normalfont A deriving transformation $\mathsf{d}$ and an integral transformation $\mathsf{s}$ for the same coalgebra modality satisfy the \textbf{Second Fundamental Theorem of Calculus} if: $\mathsf{s}\mathsf{d} +\oc 0=1$. 

2: $$ \begin{array}[c]{c} \resizebox{!}{1.5cm}{%

3: \begin{tikzpicture}

4: 	\begin{pgfonlayer}{nodelayer}

5: 		\node [style=port] (0) at (0, 0.5) {};

6: 		\node [style=integral] (1) at (0, 2) {{\bf ------}};

7: 		\node [style=port] (2) at (0, 2.5) {};

8: 		\node [style=differential] (3) at (0, 1) {{\bf =\!=\!=\!=}};

9: 	\end{pgfonlayer}

10: 	\begin{pgfonlayer}{edgelayer}

11: 		\draw [style=wire] (2) to (1);

12: 		\draw [style=wire] (0) to (3);

13: 		\draw [style=wire, bend right=60, looseness=1.50] (1) to (3);

14: 		\draw [style=wire, bend left=60, looseness=1.50] (1) to (3);

15: 	\end{pgfonlayer}

16: \end{tikzpicture}}

17:    \end{array}+

18:    \begin{array}[c]{c} \resizebox{!}{2cm}{%

19: \begin{tikzpicture}

20: 	\begin{pgfonlayer}{nodelayer}

21: 		\node [style=port] (0) at (0, 0) {};

22: 		\node [style=port] (1) at (0, 3) {};

23: 		\node [style={regular polygon,regular polygon sides=4, draw}] (2) at (0, 1.5) {$0$};

24: 	\end{pgfonlayer}

25: 	\begin{pgfonlayer}{edgelayer}

26: 		\draw [style=wire] (1) to (2);

27: 		\draw [style=wire] (2) to (0);

28: 	\end{pgfonlayer}

29: \end{tikzpicture}}

30:    \end{array}=

31:    \begin{array}[c]{c} \resizebox{!}{2cm}{%

32: \begin{tikzpicture}

33: 	\begin{pgfonlayer}{nodelayer}

34: 		\node [style=port] (0) at (0, 2.5) {};

35: 		\node [style=port] (1) at (0, 0.5) {};

36: 	\end{pgfonlayer}

37: 	\begin{pgfonlayer}{edgelayer}

38: 		\draw [style=wire] (0) to (1);

39: 	\end{pgfonlayer}

40: \end{tikzpicture}}

41:    \end{array}$$

42: Therefore, for every differentiable map $f: \oc A \to B$: $\mathsf{S}[\mathsf{D}[f]]+\oc(0)f=f$.\end{definition}

43: