one type of character ≠ literally the same character