Stav dette: Ancient formal logic.