Double encoding