impl IntroTruth iterations; update comments.