Saturated Model Theory消えてるし。。
DLしとくべきだったか