concrete brick subgroup of brick, 1 assertions