Formal Representation and the Digital Humanities