Logic of the multi$AAVE .