Exhaustive testing is possible