There are 4 1-place connectives and 2 occurences of binary