added content: first-order logic