All humans are mortal 1