New Support Methods for PKB and revamped Uses Method