proveKnowledge related code first commit