Hmm? Semantically they are equivalent ("this is the same statement"), bytewise they are not identical ("not completely the same"). Both parent comments are true statements. Things can be in the same equivalence class without being identical. What am I missing?