“A book Harvey Friedman intends to write about general foundations.”