def has$\_$y$\_$vowel$($s$)$:

$"1"$

Returns: True if $s$ has $y$ in a "vowel position"

The letter $y$ is a vowel if and only if it is not in the first position.

So this function checks everything after the first character.

Parameter s: a string to check

Precondition: $s$ is a non$-$empty string with all lower case letters

This function may include intentional errors.

$""1"$

return $\text{'}y\text{'}$ in $s[$:$1]$