Text this: Logical Methods in Computer Science