x must be less than but not equal to 4, so this should be "== And(Le(0,x), *Lt*(x,4))"