RE: The definition of lhsfun in the report