@ryotat My idea about this is that you need to have static properties of data to be able to prove something, but part of the cool thing about ML is that we don‘t know how to formally describe the data - and yet it works ;)