6.1 初始假设的延伸