Sofar we have resisted in adding a Next or Abort button to any of our Dogelog Player HTML pages. Behind the lack of these buttons is a method of
exploring sequence meta-predicates and what they could do for user interfaces. Here is a little new article about the topic: Enumerating Solutions with Dogelog Payer https://twitter.com/dogelogch/status/1552802997247303680 Enumerating Solutions with Dogelog Payer https://www.facebook.com/groups/dogelog -- https://mail.python.org/mailman/listinfo/python-list