J. A. Bergstra and M. Düwell, “Accusation Theory”, Transmath, Dec. 2021.