Testsuo Furudate
(x).x is not man or x is mortal
1998
ambient

#    Title    Time    Info  
1 '(x).x is mortal' has elementary thruth, where x is man 20:34
2 (x).x is a man implies x is mortal 33:33
3 (x).x is mortal where x is man 5:51
Total time 54:08