This is kindof complicated to evaluate. It would be better if the pass condition was designed to be something more easily-described.