Stav dette: Automation in theory and practice :