Somebody has never used ENVY[0].

[0]: https://paulhammant.com/2017/09/01/smalltalk-envy/