“A class of strategies has been constructed that provides a formal and general solution to the full 'grain of truth' problem.”