Working on execution and state systems