After having thought at length about this, I think ignoring case can lead to bugs