constrain test passing; should it be recursive?