Renamed <_>-def to <>-def; started implementing proof of admissibility of trans for LG.