An outlook on truth maintenance, MITAI Memo 551 (1980)