[afabisch]

Maybe someone finds this interesting. This paper seems to be related: https://arxiv.org/abs/1907.04490

[formalsystem]

I've been meaning to read this, will keep you posted