Ethical Unfold

神和為晋昨天到總圖，為晋沒帶傘，神用結果主義分析後，叫為晋隨便借一把，說這樣可帶來最大善。我於是提出我的論證：那裡的傘很可能只是一時忘了拿走，如果那個人回來，得花很多時間找傘，而且最後心情不快。倘若他又拿別人的傘，如此一直遞迴下去，便會釀成大災難。剛剛才想到，這其實就是 unfold 嘛 XD。「傘被拿掉一把」就是種子，被拿走傘的人選擇拿或不拿別人的傘是 predicate，展開的資料結構就是惡了。

不過神後來補充一些情境：當時總圖已經沒人，而且之後他把傘還回去，所以種子很可能在軋進 unfold operator 之前就被摧毀了 XD。

--
可惜 Ethics 實際上難以用這種方法研究 XD。