假设与替换