Formulation: the Example Mapping is the source
In mainstream BDD, developers and testers write the rules and examples up as a feature file (Gherkin), and that file becomes the source of the specification. In livt, a YAML file in Example Mapping's own format is the source, and formulation is rewriting that file. A feature file, where a team wants one, would be generated from it, which livt does not do yet.
Product managers and designers can go on answering its questions and changing its rules in the Example Mapping they already know, so there is little new to learn.