Process PROGN.
Process LOCALLY.