TRLogic seems complete