This means that you can remove `theme.__add__()` which would also make my comment above redundant.