Right, but simpler pattern matchers don't always consider that.q