Output: [ x in [0;0], y in [1;1] ]