Error: all symbols must be different
