Add TRVSAssertions