simple spreadsheet subgroup of spreadsheet, 3 assertions