diff --git a/prototype/DoubtTests/RangedTerm.swift b/prototype/DoubtTests/RangedTerm.swift
index 0402a1abb..e11f28adb 100644
--- a/prototype/DoubtTests/RangedTerm.swift
+++ b/prototype/DoubtTests/RangedTerm.swift
@@ -2,6 +2,10 @@ struct RangedTerm {
 	typealias Term = Cofree<String, Range<String.Index>>
 	let term: Term
 	let source: String
+
+	var stripped: UnannotatedTerm {
+		return UnannotatedTerm(term: term.map(const(())))
+	}
 }
 
 extension RangedTerm: Arbitrary {