power nap subgroup of nap, 2 assertions