Verse is a new functional-logic language. It has several unusual features and this talk will give a brief overview of the language and what makes it different from most other languages. Among other things, Verse has deterministic choice, and choice is very much a first class construct. The talk will also show a core calculus for Verse and how we can use rewrite rules to give a semantics for the language.