capability aspect of spreadsheet, 1 assertions