Exact philosophy problems tools goals by