Testing assertion 8.1