Zilber's theorem for continuous logic, naïve version

Let $T$ be an $\aleph_0$-categorical $\aleph_0$-stable theory. A theory is SFB when it satisfies the paper's notion of finite basedness for continuous logic.

Zilber's theorem for continuous logic, naïve version. Every $\aleph_0$-categorical $\aleph_0$-stable theory is SFB.

The examples of infinite-dimensional Hilbert spaces and atomless probability algebras are both $\aleph_0$-categorical and $\aleph_0$-stable, and are SFB but not one-based. The conjecture proposes SFB as the continuous-logic analogue of classical one-basedness; its resolution is not given in the source.