I'm gonna find some written proof of this :)