ざっと読み直す、といってもただ読むだけっていうのがすこし難しくなってきた 6. The Fun Never Ends 無限に続きそうなrelationのお話 conj系は上から順に試して失敗したらいったんそこでおしまい disj系は全部試すんだけどちょっと不思議なことに無限ループ…