Forum:Genex Ally Axel effect

I was just wondering about his effect. Can you discard a Level 4 machine type monster to special summon that SAME monster from the graveyard? ( discard 1 card from your hand to Special Summon 1 Level 4 or lower Machine-Type monster from your Graveyard. ) The discard Cost is first, and then Axel targets the monster am i right ?