If you do, search your library for an enchantment card, put that card onto the battlefield, then shuffle.