The first 'that'-clause cannot refer to an external sentence token of a natural language, because Bo...