Boolean constants and binary connectives