found.txt: where: https://whycardano.com/science-and-engineering/#formal-specification-and-verification