HoleTerminalSpecification