PKB.h methods Implemented #10