the craziness of string equality