enough to support implication in patterns.