sth wrong with HySet