???????? ?????????? ‘??????????????????????? ?????? ?????? ?????????????????????. ?????? ????????????? ??????!?????? ??? ???? ????, ?????? ????????????????? ???????? ?????????? ?????? ???????????? ?????? ????? ???? ???? ???????? ???? ??????, ???? ???? ???? ?? ??? ??????.As a way to do that, ~????????is extra to the top of one clause that implies