Logic của $AAVE .