feature aspect of faucet, 2 assertions