famous mark subgroup of mark, 1 assertions