[

(#ENV{explication})

]