width assertion checks