simple example with disequality and functions works