curly braces for semantics