Title: Ancient formal logic