Encodings are now defined.