Formal representation and the digital humanities. (2018)