替换与假设