zotero/aisfc/w8/New paper_ _Logical induction_ - Machine Intelligence Research Institute.pdf