Uncommenting cut portions of AAAI submission