Search

your

library

for

a

permanent

card

with

the

same

name

as

target

nontoken

creature,

put

that

card

onto

the

battlefield,

then

shuffle.