DSL including updates, guards, and relevant tests.