Ajeya Cotra comments on MIRI’s 2013 Summer Matching Challenge