A lógica de $AAVE .