P
Initializing...
κ-improvement development, part 21: item-language primitives · Prove2Me