Nearly finalized new ENCODER.R