Valid with respect to pattern