power source subgroup of source, 5 assertions