We have defined four binary logical connectives. Are there any others that might be useful? How many binary connectives can there be? Why are some of them not very useful?