New post in First-order-logic