Added implementation of separating connectives.