`envy down` for #77