Playing golf w @npub1fn2ss... today, who some consider to be the real creator of ordinal theory. What questions should I ask him?