first-order closure model