Text this: Ancient formal logic