P
Initializing...
`BookProof.FockDegreesOfFreedom.Gravity.ghostRawCard` : Fintype.card GhostRaw = 19 + 1 · Prove2Me