Revised Encoding