A Tale of Two Encodings