add disequality and rembero examples to README