Nice example! Indeed, this language has a few interesting equivalent problem statements.