8.1 假设前提