keychain flashlight subgroup of flashlight, 1 assertions