7.1.1 前提假设