The paper I presented at the UNILOG conference on 9 April 2022 is now available on arXiv: What makes a demonstration worthy of the name?