Clarification about dummy encodings