RyanCarey comments on New forum for MIRI research: Intelligent Agent Foundations Forum