for s being set st [0,s] in IBB holds
s = 1