how one even formalizes it? Would be interesting to see.