open textbook subgroup of textbook, 4 assertions