The problem comes primarily from systems that allow identifiers (or other semantically meaningful concepts like format strings) to differ only by case. This co

The problem comes primarily from systems that allow identifiers (or other semantically meaningful concepts like format strings) to differ only by case. This could be considered a side-quest of the naive implementation of case-sensitivity. "Case-sensitive but identifiers cannot differ only by case" would be a reasonable compromise. "Martin" and "martin" are obviously not different names. Martin may be more correct, but allowing "martin" as a separate name is worse.