YEAR: 2021
COPYRIGHT HOLDER: logicDT authors
