热搜 · 最高第 3 · 05:31

Push ifs up and fors down: The idiom, its algebra, and its limits