system-2 https://jisyu-seisaku.net/archives/156/system-2