Output: [ x in [-1;20] ]