Add assume NOT.
Test error page handling.