Refactoring modulo Agenti