LRel for Def.