Output: [ init in [0;1], x in [-oo;+oo] ]