This is a semi-public garden page — a draft, left open on purpose.
と一般意味論は要求する
Abstraction Ladder
p. 233
