finished encoder)