Regarding testability, what kinds of properties do the tests actually assert?