Text this: Representation Theorems in Computer Science