Describir: First-order logic