[layer8]

It’s certainly possible with appropriate proof methods. My disappointment was specifically about non-memory resources, however.