Stephen's NonTerms stubs