No result about First–class–life