# A new counter-example

Example There is such a non-symmetric reloid $f$ that $(\mathsf{FCD})f$ is symmetric.

Take $f=((\mathsf{RLD})_{\mathrm{in}}(\mathord{=})|_{\mathbb{R}})\sqcap (\mathord{\geq})_{\mathbb{R}}$.

I have added this to my online book.