truth-set-free