PKB changed to return set #95