由这些假设推理: