add question about mathematical proof or not