Definition uppercaseSame (s t : string) :=
  uppercaseOf s = uppercaseOf t.
