Allison's Demise

Each player mills cards from the top of their library equal to the greatest power among creatures they control if any player controls
no creatures instead that player mills cards equal to the highest power among creatures
on the battlefield