The owner of a token permanent chosen this way still shuffles their library, even though the token ceases to exist.

The four permanents are put on top of their owners’ libraries in sequence. That means that a single artifact creature, for example, can’t be chosen as both the creature and as the artifact.

If one of the chosen permanents is controlled by an opponent but owned by you, you’ll wind up shuffling your library.

If there are no applicable choices for one of the permanent types, it’s simply skipped. The process is still repeated for the other listed permanent types.

If a player owns multiple permanents chosen this way, that player shuffles their library just once.

The targeted opponent may choose a creature they control, or may choose a creature one of your other opponents controls. The same is true for each of the other permanent types listed.