horse stable subgroup of stable, 4 assertions