Exact philosophy problems tools goals door