Indeed, that is what I meant. This is a neat result, just not practical yet.