Not bold enough. Let them tackle nondeterminism first.)