'(x).x is mortal' has elementary thruth, where x is man • Whose Song?

'(x).x is mortal' has elementary thruth, where x is man
is a song by
Testsuo Furudate
it was released on
(x).x is not man or x is mortal