TRIDGAR and G-LEX