[jchw]

Ah, just another reason this example was not very good. It’s a complicated one.