Get truth maintenance display working.