Expressive Encodings