??????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????satisfies??????????????????????????????????????????????????????????????????????????????????“??????”???????????????????????“???”???????????????~?????????????????????????