joshuatanderson comments on Let’s buy out Cyc, for use in AGI interpretability systems?