thin foil subgroup of foil, 2 assertions