pet scan subgroup of scan, 7 assertions