Automatic+Control+Theory Designers