(<> 1 1)