Truth maintenance system