general annotations, less ambiguous exception handling, modularity of slave removal