simplified assertions