Abstract first-order core