@Contract(pure = true)
  public static boolean isVowel(char c) {
    return c == 'a' || c == 'e' || c == 'i' || c == 'o' || c == 'u' || c == 'y';
  }
@Contract(pure = true)
  public static boolean isVowel(char c)