Output: [ x in [0;0] ]