x - 1 ----- < 0 x - 4
(x - 1)/(x - 4) < 0
(1, 4)
x in Interval.open(1, 4)
And(1 < x, x < 4)
(1 < x)∧(x < 4)