stronger type assertion