Tinkering with Declarative Management