第七节 简洁有力的假设约定