no message
Consecutive less than For example,  positiveTen(x) := 0<x<11  positiveTen(2) is True
positiveTen(11)