hoek assertions