Add ERC state to illustrate the keep property