Is `sbt` or `sbv`?