first-order sentence