- more accurate assertion