16. 论重叠命题