Title: theories in logic