Eton is one of ten English HMC schools, commonly referred to as "public schools", regulated by the Public Schools Act of 1868. Which one of the ten English HMC schools is girls only?