Replying to @hartzog
Hmmm, interesting! Thanks! From reading the abstract it looks like this could be a devil-in-the-details question in terms of whether it would be possible to impose such contracts in a protocol, but I'll definitely read more!
♥ 2