more explicit assert