主模型和相邻模型的结果