sem binarybounded