assertion operators