Aradesh, the Founder

Aradesh’s last ability has an intervening if clause. If a creature that attacks hasn’t enlisted a creature this combat, the ability won’t trigger at all for that creature.

It doesn’t matter what happens to the enlisted creature after Aradesh’s last ability triggers. As long as the creature that attacked enlisted a creature this combat, when Aradesh’s last ability resolves, the creature that attacked will still get double strike, and if that creature’s power is 4 or greater, you’ll still draw a card.

The attacking player chooses whether to tap a creature for an enlist ability immediately after they tap the creatures that they have chosen to attack with. You can’t choose to enlist a creature later.

To enlist a creature, that creature must be untapped, it must not be attacking (even if it has vigilance), and it must have haste or have been under that attacking player’s control since the beginning of their current turn.

When a player taps a creature for an attacking creature’s enlist ability, that attacking creature gets +X/+0 until end of turn, where X is the tapped creature’s power. This is a triggered ability that goes on the stack immediately after attackers have been declared in the declare attackers step.

You may tap only one creature for an enlist ability of an attacking creature, and a single creature can’t be tapped for more than one enlist ability.