First-order theory