This allows us to factor out properties about connectives that
commute with the big operators.