[ new MagicPermanentActivation( [ MagicConditionFactory.ManaCost("{2}{U}"), MagicCondition.CAN_TAP_CONDITION, ], new MagicActivationHints(MagicTiming.Main), "Card" ) { @Override public MagicEvent[] getCostEvent(final MagicPermanent source) { return [ new MagicTapEvent(source), new MagicPayManaCostEvent(source,"{1}{U}") ]; } @Override public MagicEvent getPermanentEvent(final MagicPermanent source,final MagicPayedCost payedCost) { return new MagicEvent( source, MagicTargetChoice.TARGET_ARTIFACT_CARD_FROM_GRAVEYARD, new MagicGraveyardTargetPicker(false), this, "Put target artifact card\$ from your graveyard on top of your library" ); } @Override public void executeEvent(final MagicGame game, final MagicEvent event) { event.processTargetCard(game,new MagicCardAction() { public void doAction(final MagicCard targetCard) { game.doAction(new MagicRemoveCardAction(targetCard,MagicLocationType.Graveyard)); game.doAction(new MagicMoveCardAction( targetCard, MagicLocationType.Graveyard, MagicLocationType.TopOfOwnersLibrary )); } }); } } ]