Added grevy's case example