variable in the defs file. Nice for elabinelab to avoid inner named
from having to do too much work.