Some work on encodings