AssertingTerms

constructor(in: Terms)