short nap subgroup of nap, 6 assertions