following example subgroup of example, 4 assertions