fix sbv version
exhaustive example attempt