lower を含んで upper を含まないというのがそもそも矛盾を内包していて