[ new MagicWhenLeavesPlayTrigger() { @Override public MagicEvent executeTrigger(final MagicGame game,final MagicPermanent permanent,final MagicPermanent left) { return (permanent == left) ? new MagicEvent( permanent, MagicTargetChoice.TARGET_WHITE_CREATURE, new MagicDestroyTargetPicker(true), this, "Destroy target white creature\$. It can't be regenerated." ) : MagicEvent.NONE; } @Override public void executeEvent(final MagicGame game, final MagicEvent event) { event.processTargetPermanent(game,new MagicPermanentAction() { public void doAction(final MagicPermanent creature) { game.doAction(new MagicChangeStateAction(creature,MagicPermanentState.CannotBeRegenerated,true)); game.doAction(new MagicDestroyAction(creature)); } }); } } ]