avances truth maintenance