uniform all the connectives dictionary into a single one--