lax-terminal-construction