Added nonObvious and dangerous verify results