First-order resolution is (almost) alive and kicking.