finished informal description of encoding