early thimble subgroup of thimble, 2 assertions