improve sum-up usage and fix broken truth and cfa