Before revision:  We show that a functional property, transitivity, makes it testable.
After revision:  We show that a preferential property, transitivity, makes it testable.