cat face x+1<5 in Z? ​