[ prelude ] the is linear in its input (#3239)

[ prelude ] the is linear in its input (#3239) #4170