Let's buy out Cyc, for use in AGI interpretability systems? — AI Alignment Forum