Include KBPKP in KBPKs