you can prove all of this definitively