Lang: NFE for is-functions