I added to my free ebook a new (easy to prove) theorem and a couple new conjectures:

**Theorem** For every reloid $latex f$:

- $latex \mathsf{Compl} (\mathsf{FCD}) f = (\mathsf{FCD}) \mathsf{Compl} f$;
- $latex \mathsf{CoCompl} (\mathsf{FCD}) f = (\mathsf{FCD}) \mathsf{CoCompl} f$.

**Conjecture**

- $latex \mathsf{Compl}(\mathsf{RLD})_{\mathsf{in}} g=(\mathsf{RLD})_{\mathsf{in}}\mathsf{Compl} g$;
- $latex \mathsf{Compl}(\mathsf{RLD})_{\mathsf{out}} g=(\mathsf{RLD})_{\mathsf{out}}\mathsf{Compl} g$;.