small valley subgroup of valley, 1 assertions