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