Bergstra, J. A., and M. Düwell. “Accusation Theory”. Transmathematica, Dec. 2021, doi:10.36285/tm.61.