17. 论排他命题