For "truth" see this comment. The problem with understanding "free will" is that it has a dependency on "nature of decisions" which I'm not entirely sure I understand. The TDT/UDT notion of "decisions as logical facts" seems to be a step in the right direction, but there are still unresolved paradoxes with that approach that make me wonder if there isn't a fundamentally different approach that makes more sense. (Plus, Gary Drescher, when we last discussed this, wasn't convinced to a high degree of confidence that "decisions as logical facts" is the right approach, and was still looking for alternatives, but I suppose that's more of an outside-view reason for me to not be very confident.)