blue uniform subgroup of uniform, 2 assertions