????????????????????????????????????????????????????????????????????????satisfies??????????????? ?????????????? ???? ????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? ?????????????????????? ?????? ?????????????????????????????????????????????