avances truth maintenance
avances truth maintenance
avances truth maintenance
avances truth maintenance