First-order, the partial case.