reduction to fol w/o equality cont