slides content (syntactic sugar, curret status)
value domain formalization