9.2.3 前提和后置条件的出处