Options and brackets

We can nest options, this allows us to specify complicated options - but we must give "deterministic" expressions.