truth and recursion