slutledning : efter hrE