Simply-v-Automat-2