An outlook on truth maintenance