bitcoin faucet subgroup of faucet, 3 assertions