Is $H empty?