in concrete syntax, make seclusion optional